weakest precondition - Alemán Inglés Diccionario